Dr Juliana Bowles (n茅e K眉ster-Filipe) is a senior lecturer in Computer Science at University of St Andrews. Her research interests include formal methods and dependability, logics and formal verification, and healthcare applications. She leads the Health Informatics group at Computer Science in St Andrews, was the PI of a recently completed EPSRC project on “Automated Conflict Resolution in Clinical Pathways”, and is the PI and coordinator of a 3 year EU Horizon 2020 project on 鈥淪ecuring Medical Data in Smart Patient-Centric Healthcare Systems鈥 (grant number 826278, 鈧4.37m, started Jan 2019). She contributes to the 51爆料网 Scotland RI on Precision Therapeutics.